Test Coverage Models for System Test?
نویسنده
چکیده
منابع مشابه
Test automatique de programmes
The design of embedded systems in safety-critical domains is a demanding task. During the last decades, formal methods and model-based approaches are widely used for the design, the analysis, the implementation and testing of major industrial applications. The work in this thesis addresses the improvement of the testing process with a view to automating test data generation as well as its quali...
متن کاملApplication Area Specific System Level Fault Models: A Case Study with a Simple NoC Switch
In this paper we make a case for moving the level of test pattern generation for fabrication faults to the system level. Like many other researchers we feel it is necessary to handle the growing size and complexity of testing of digital systems. As the first step in this direction, system level fault models must be defined. Unlike logic level stuck-at fault models it is hard to define general f...
متن کاملA Semantic Framework for Test Coverage (Extended Version)
Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test cases with maximal impact at minimum cost. Existing coverage criteria for test suites are usually defined in terms of syntactic characteristics of the implementation under test or its specification. Typical black-box coverage metri...
متن کاملEmployment of Multiple Algorithms for Optimal Path-based Test Selection Strategy
Executing various sequences of system functions in a system under test represents one of the primary techniques in software testing. The natural way to create effective, consistent and efficient test sequences is to model the system under test and employ an algorithm to generate the tests that satisfy a defined test coverage criterion. Several criteria of test set optimality can be defined. In ...
متن کامل7khh,qwhusod\\ehwzhhq 0rghoo&ryhudjhhdqgg&rghh&ryhudjh ,qwurgxfwlrq
Executable graphical models are used throughout the model-based development process for embedded controls. The test process accompanying model-based development can profit from the existence of such executable models in various ways. For instance, in addition to traditional code coverage analysis the executable model can also be subjected to structural coverage metrics on model level. This pape...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002